#ifndef PAL_PRINTF_H
#define PAL_PRINTF_H

#include <stdio.h>

#endif
